Issue1015a.agda:35,1-8
Copattern matching is disabled for record R
when checking the clause left hand side
R.j inh
